l{-}ordered($T$; $x$,$y$.$R$($x$;$y$); $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$,$y$:$T$. l\_before($x$; $y$; $L$; $T$) $\Rightarrow$ $R$($x$;$y$)